Jane Hillston - PDFSEARCH.IO - Document Search Engine

Jane Hillston
Results: 47

#	Item
41	CONCURThe Benefits of Sometimes Not Being Discrete Jane Hillston LFCS, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-09-02 12:04:09 Process calculus Model checking Stochastic processes Models of computation Markov models
42	PLAS seminarQuantitative Analysis of Collective Adaptive Systems Jane Hillston LFCS, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2016-02-23 09:49:59 System Cas Scientific modelling
43	Using stochastic process algebra to model biochemical pathways Using stochastic process algebra to model biochemical pathways Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-03-02 10:57:28 PEPA Process calculi Jane Hillston Process calculus Stochastic Scientific modelling Economic model Algebra over a field TAPAs model checker
44	Compositional dynamic modelling: a Computer Science perspective Jane Hillston The University of Edinburgh Models of Computer Systems Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-11-23 11:10:34 Simulation Epistemology of science Interpretation Scientific modelling Economic model Scientific modeling Mathematical model Computer science Conceptual model System
45	Introduction Case Study in Systems Biology Continuous Approximation and Differential Equations Case Study in Web Services Adventures in Systems Biology Jane Hillston. LFCS, University of Edinburgh 18th July 2005 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-27 05:40:16 Process calculi Jane Hillston PEPA Differential equation Numerical analysis Laboratory for Foundations of Computer Science Equation Mathematical analysis
46	Verification of Complex Adaptive Systems Working Group Report - Dagstuhl SeminarLuca Bortolussi, Giacomo Cabri, Giovanna Di Marzo Serugendo, Vashti Galpin, Jane Hillston, Roberta Lanciani, Mieke Massink, Mirco Tri Add to Reading List Source URL: homepage.lnu.se Language: English - Date: 2015-06-01 09:34:52 Metaphysics Complex systems theory Philosophy Formal methods Theoretical computer science Logic in computer science Runtime verification Model checking Complex adaptive system System Emergence Field
47	A Compositional Approach to Performance Modelling Jane Hillston Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 1999-10-04 12:20:33 Mathematics Process calculi Applied mathematics Markov models Stochastic processes Bisimulation Markov chain PEPA Process calculus Statistics Markov processes Theoretical computer science